$\forall$$T$:Type, $P$:($T$$\rightarrow\mathbb{B}$), $L$:($T$ List). l\_all($L$; $T$; $x$.($\uparrow$$P$($x$))) $\Rightarrow$ sqequal(filter($P$; $L$); $L$)